workspace: Remove unused parameter

diff --git a/js/ui/workspace.js b/js/ui/workspace.js
index ec012c04bfc65271b00eb49d8ad36832c8b943e1..1303babb06fbf97b7e757275aeebb781ce10d3df 100644 (file)
--- a/js/ui/workspace.js
+++ b/js/ui/workspace.js
@@ -1326,7 +1326,7 @@ const Workspace = new Lang.Class({
                                      });
                 }
 
-                this._animateClone(clone, overlay, x, y, scale, initialPositioning);
+                this._animateClone(clone, overlay, x, y, scale);
             } else {
                 // cancel any active tweens (otherwise they might override our changes)
                 Tweener.removeTweens(clone.actor);
@@ -1355,7 +1355,7 @@ const Workspace = new Lang.Class({
         }
     },
 
-    _animateClone: function(clone, overlay, x, y, scale, initialPositioning) {
+    _animateClone: function(clone, overlay, x, y, scale) {
         Tweener.addTween(clone.actor,
                          { x: x,
                            y: y,